formal axiomatics
形式公理学
热门查询
- tickling n. 自旋挠痒法；反馈 v. 使发痒（tickle的ing形式）
- Finn n. 芬兰人 爱尔兰巨人
- infra adv. （拉）以下；（拉）以后；（拉）下文
- destitution n. 穷困；缺乏
- drizzly adj. 下毛毛雨的，毛毛雨似的
- turtle n. 龟，甲鱼；海龟 n. (Turtle)人名；(英)特特尔
- haynes 海恩斯（姓氏）
- superintend vt. 监督；管理；主管；指挥 vi. 监督；主管；指挥
- corroded adj. 侵蚀的，已被腐蚀的
- circus n. 马戏；马戏团
- devaluation n. 货币贬值
- attica n. 阿提卡（古希腊的一个地方）
- locater n. 定位器（等于locator）
- gaucherie n. 笨拙；无礼
- faultfinder n. 挑剔；吹毛求疵的人
- queuing n. [数] 排队；排队论 v. [数] 排队（queue的ing形式）
- adduce vt. 举出；引证
- regimentation n. 纪律；系统化；严格控制；团的编制
- spectrometry n. [光][分化][物] 光谱测定法，[光] 度谱术
- retrenchment n. 节省；删除
